package pl.elka.pszt.model;

import pl.elka.pszt.model.literal.Literal;

/**
 * Fakt jest literalem z argumentami ktore sa stalymi. Zwraca samego siebie gdy
 * zapytamy o konkluzje.
 * 
 * @author Andrzej Makarewicz
 * 
 */
public class Fact extends KnowledgeElement {
	
	public Fact(Literal conclusion) {
		super(conclusion, Type.FACT);
	}
	
}
